1. Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
2. Foundations of logic programming
پدیدآورنده: Lloyd, John Wylie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
3. Foundations of logic programming
پدیدآورنده: Lloyd, J. W.)John Wylie(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
4. Foundations of logic programming
پدیدآورنده: Lloyd, John Wylie, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
5. Language, logic, and computation :
پدیدآورنده: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
6. Logic, language, and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
7. Logic, language, and computation :
پدیدآورنده: Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
8. Logic, language, and computation
پدیدآورنده: / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
9. Logic, language, and computation
پدیدآورنده: \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
10. Logic of Domains
پدیدآورنده: Zhang, Guo-Qiang, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
11. Logic of domains
پدیدآورنده: Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
12. Logic programming :
پدیدآورنده: James H. Andrews
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
13. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
14. Logics of specification languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
15. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
16. Mathematical aspects of logic programming semantics
پدیدآورنده: / Pascal Hitzler, Anthony Seda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic programming,Programming languages (Electronic computers),-- Semantics
رده :
005
.
115
H676M
2011
17. Natural language understanding
پدیدآورنده: Allen, James, James Allen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
N3
18. Natural language understanding
پدیدآورنده: Allen, James
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
1987
19. Natural language understanding
پدیدآورنده: / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
20. Natural language understanding
پدیدآورنده: / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
